形式論理マキシ v.s. LLMマキシ